Changes of Programming of General Programming Channels

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Comparison of the programming models for considering risk in farm planning:application of utility-efficient programming

Vernacular Programming: General Recursion

This paper provides a mathematical analysis of the relationship between vernacular and for-malised derivations of programs; in particular, when the vernacular derivations deploy general recursion. We introduce a calculus VPD to represent vernacular derivations and a constructive theory of operations and types, EOT , to represent formal derivations. We provide an intensional semantics for VPD wi...

Interactive multiple objective programming in optimization of the fully fuzzy quadratic programming problems

In this paper, a quadratic programming (FFQP) problem is considered in which all of the cost coefficients, constraints coefficients, and right hand side of the constraints are characterized by L-R fuzzy numbers. Through this paper, the concept of α- level of fuzzy numbers for the objective function, and the order relations on the fuzzy numbers for the constraints are considered.  To optimize th...

General Purpose Cellular Automata Programming

As cellular automata are becoming popular in many research areas, the need for an easy-to-use system for cellular automata programming is becoming greater. Traditionally, cellular automata transition functions were manually depicted in a tabular format, which is often time-consuming and error prone. A more promising approach is to design a generalpurpose cellular automata programming environmen...